msg-item(ds; da; k; l)
== tg:Id
==  (n:
==  (decl-state(ds)ma-valtype(da; k)(fpf-cap(da; Kind-deq; rcv(l,tg); void) List))) 

latex

Definitions	Id, x:A  B(x), , decl-state(ds), x:AB(x), ma-valtype(da; k), type List, fpf-cap(f; eq; x; z), Kind-deq, rcv(l,tg), void
FDL editor aliases	msg-item